Kolejne wznowienie podręcznika znanego wielu pokoleniom studentów matematyki. Zawiera elementy logiki matematycznej, teorii mnogości i algebry abstrakcyjnej w zakresie zapewniającym czytelnikowi odpowiednie przygotowanie do studiowania matematyki. Publikacja jest przeznaczona przede wszystkim dla
Nowa, wielka monografia Rasiowej i Sikorskiego stanowi uwieńczenie ich badań dotyczących pogranicza logiki i teorii modeli, rozpoczętych w roku 1950 znaną pracą "A proof of the completeness theorem of Gödel" (Fundamenta Mathematicae 37). Pod względem doskonałości wykładu, przejrzystości i elegancji
